Satisfiability modulo theories - PDFSEARCH.IO - Document Search Engine

Satisfiability modulo theories
Results: 199

#	Item
101	Proofs and Refutations, and Z3 Leonardo de Moura and Nikolaj Bjørner Microsoft Research Abstract Z3 [3] is a state-of-the-art Satisfiability Modulo Theories (SMT) solver freely available from Microsoft Research. It solv Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:11:06 Formal methods Metalogic Logic in computer science Electronic design automation NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Conjunctive normal form Mathematical proof Mathematics Theoretical computer science Logic
102	Software Engineering and Automated Deduction Willem Visser Nikolaj Bjørner Natarajan Shankar Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-07 12:02:12 Formal methods Automated theorem proving Logic in computer science NP-complete problems Model checking Satisfiability Modulo Theories Boolean satisfiability problem KeY First-order logic Theoretical computer science Logic Mathematical logic
103	Applications and Challenges in Satisfiability Modulo Theories Leonardo de Moura Microsoft Research One Microsoft Way Redmond, WA 98052 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:35:41 Formal methods Mathematics Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Z3 Boolean satisfiability problem First-order logic Theoretical computer science Constraint programming Applied mathematics
104	SATISFIABILITY-BASED PROGRAM REASONING AND PROGRAM SYNTHESIS by Saurabh Srivastava 1 Revised Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-10-26 18:47:17 Formal methods Logic in computer science Electronic design automation Constraint programming Satisfiability Modulo Theories Reasoning system Formal verification Solver Algorithm Theoretical computer science Applied mathematics Mathematics
105	Z310 : Applications, Enablers, Challenges and Directions Nikolaj Bjørner and Leonardo de Moura Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA {nbjorner,leonardo}@microsoft.com Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:10:53 Logic in computer science Metalogic Electronic design automation NP-complete problems Satisfiability Modulo Theories Model theory Formal verification Extended static checking Model checking Theoretical computer science Formal methods Applied mathematics
106	Alloy: A Higher-Order Relational Constraint Solver Aleksandar Milicevic Joseph P. Near Eunsuk Kang Add to Reading List Source URL: people.csail.mit.edu Language: English* - Date: 2014-09-09 16:16:23 Electronic design automation Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories First-order logic Alloy Tree Theoretical computer science Mathematical logic Applied mathematics
107	Growing Solver-Aided Languages with ROSETTE Emina Torlak & Rastislav Bodik U.C. Berkeley Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:27:03 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories AMPL Theoretical computer science Applied mathematics Software engineering
108	νZ - An Optimizing SMT Solver Nikolaj Bjørner1 , Anh-Dung Phan2 , and Lars Fleckenstein3 1 Microsoft Research, Redmond, WA, USA DTU Compute, Technical University of Denmark Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-01-22 06:10:53 Operations research Constraint programming Electronic design automation Formal methods NP-complete problems Satisfiability Modulo Theories Mathematical optimization Linear programming Boolean satisfiability problem Theoretical computer science Applied mathematics Mathematics
109	Engineering Theories with Z3? Nikolaj Bjørner Microsoft Research Abstract. Modern Satisfiability Modulo Theories (SMT) solvers are Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-10-17 17:03:30 Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Vehicle Identification Number Theoretical computer science Applied mathematics Electronic design automation
110	Journal of Object Technology Published by AITO — Association Internationale pour les Technologies Objets http://www.jot.fm/ Babelsberg: Specifying and Solving Constraints on Object Behavior Add to Reading List Source URL: www.jot.fm Language: English - Date: 2014-08-21 12:43:43 Computer programming Constraint logic programming Kaleidoscope Constraint satisfaction problem Cassowary Constraint Prolog Satisfiability Modulo Theories Constraint satisfaction Constraint programming Declarative programming Software engineering

UPDATE